TAGs: fundamental theorem